void sample_1001_benchmark_cuFFT_double_2_4096(bool file_output, FILE* output, int device_id);